Trefler, Richard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Regularity Results for FIFO Channels

Nils Klarlund, Richard Trefler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 305 KB

english, 2005

2

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Algorithmic Analysis of Piecewise FIFO Systems

Ghafari, Nagh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Year:

2007

Language:

english

File:

PDF, 245 KB

english, 2007

3

On the completeness of compositional reasoning methods

Namjoshi, Kedar S., Trefler, Richard J.

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 230 KB

english, 2010

4

[ACM Press the twenty-second annual symposium - Boston, Massachusetts (2003.07.13-2003.07.16)] Proceedings of the twenty-second annual symposium on Principles of distributed computing - PODC '03 - A lattice-theoretic characterization of safety and liveness

Manolios, Panagiotis, Trefler, Richard

Year:

2003

Language:

english

File:

PDF, 759 KB

english, 2003

5

Explaining counterexamples using causality

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 797 KB

english, 2012

6

Reachability Problems in Piecewise FIFO Systems

Ghafari, Naghmeh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 751 KB

english, 2012

7

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Algorithmic Analysis of Piecewise FIFO Systems

Ghafari, Naghmeh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Year:

2007

Language:

english

File:

PDF, 245 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски